Size-Independent Self-Stabilizing Asynchronous Phase Synchronization in General Graphs

In this paper, we design a self-stabilizing phase synchronizer for distributed systems. The synchronizer enables a node transfer from one phase to the next one, subject to the condition that at most two consecutive phases can appear among all nodes. It does not rely on any system parameter like the number of nodes, and is thus fit for the system with dynamically changing number of nodes. Each node just maintains a few variables that are related to its neighborhood; all operations are decided based on local information rather than global information. The memory usage of the proposed algorithm is low; each node has only O(∆K) states, where ∆ is the maximum degree of nodes and K > 1 is the number of phases. To the best of our knowledge, there are no other such size-independent self-stabilizing algorithms for systems of general graph topology.